public record EmptyBox() {
}